#ifndef __kexec_h__
#define __kexec_h__

void kexec(void* base, void* kernel, unsigned size,
	int param_count, char** params, char** unknown0, int* unknown1);

#endif
